According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner’s conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, thus poses no paradox for QBism. Indeed the resolution of Wigner’s original thought experiment was central to the development of QBist thinking. The (...) focus of this paper concerns two very instructive modifications to Wigner’s puzzle: One, a recent no-go theorem by Frauchiger and Renner, and the other a thought experiment by Baumann and Brukner. We show that the paradoxical features emphasized in these works disappear once both friend and Wigner are understood as agents on an equal footing with regard to their individual uses of quantum theory. Wigner’s action on his friend then becomes, from the friend’s perspective, an action the friend takes on Wigner. Our analysis rests on a kind of quantum Copernican principle: When two agents take actions on each other, each agent has a dual role as a physical system for the other agent. No user of quantum theory is more privileged than any other. In contrast to the sentiment of Wigner’s original paper, neither agent should be considered as in “suspended animation.” In this light, QBism brings an entirely new perspective to understanding Wigner’s friend thought experiments. (shrink)

The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu :120404, 2016) proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the (...) elusive symmetric informationally complete quantum measurements. We define a family of negativity measures which includes Zhu’s as a special case and consider another member of the family which we call “sum negativity.” We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions 3 and 4. Notably, we find that Zhu’s result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension 4. Finally, the Hoggar lines in dimension 8 make an appearance in a conjecture on sum negativity. (shrink)

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...) are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

© Mind Association 2017This rich and engaging book addresses a nest of questions that have been mostly neglected in recent Anglophone philosophy. These questions concern ordinary uses of the concept of identity in speaking for example of identity crises, of one’s identity as something that can be lost or maintained, of identification with certain groups, traits, values, or beliefs, and so on. That there are these uses, and that they are an important feature of contemporary culture, is beyond question: witness (...) the difficulty in helping undergraduates focus in the classroom on what ‘we’ mean by personal identity, where this meaning is supposed to be distinct from the substantive use of ‘identity’ to mean something that a person has, and that can change or be replaced over the course of their continued life.... (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

The article is translated here from John R. Searle : What is an Institution? Journal of Institutional Economics (2005), 1: 1, 1–22 Printed in the United Kingdom, The JOIE Foundation, 2005.

Translated from: Searle, J. R. 'Social Ontology: some basic principles'. Anthopological Theory, 2006, Vol. 6, issue 1, pp.51-71.

Georges Canguilhem, A Vital Rationalist: Selected Writings from Georges Canguilhem, edited by François Delaporte and translated by Arthur Goldhammer. New York: Zone Books, 1994. Pp. 481. ISBN 0-942299-72-8. £24.25, $36.25.

For students and the general reader, this is the best English translation of the entire 'Laws' available. I give several examples of important lines that are translated well in this edition, but I take issue with the translation of some other lines and with part of Schofield's introduction on grounds that these parts do not reveal Plato's political and cosmic holism as clearly as they could have.

Deflationary views have emerged in many areas of philosophy over the past several decades. In the art world, one of the most significant deflationary approaches toward aesthetic experience has been taken by Noël Carroll in his collection of essays, Beyond Aesthetics (2001). The modus operandi of such an approach, according to Carroll, is to emphasize the context (historical, cultural, political, etc.) in which an art experience is embedded and explain its significance relative to a particular narrative. Interestingly, there is a (...) precursor to this type of view that predates it by roughly eighty years. This is the account of aesthetic experience given by John Dewey. Although Carroll acknowledges Dewey’s contribution to the concept of aesthetic experience, he fails to see how Dewey laid some of the groundwork for not only his own deflationary account but also for a conception of aesthetic experience that is continuous with other facets of human experience. This paper will highlight the similarities between the two approaches with the aim of establishing Dewey’s work as a forerunner to deflationary-type approaches. (shrink)

The text “Language and Social Reality” is translated here from the work of John R. Searle: The Construction of Social Reality (The Free Press: New York, 1995. Chapter 3: Language and Social Reality. pp. 59–78.

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

I present three versions –Grimm, Offe and Streeck—of a general argument that is often used to establish that the EU-institutions meets a legitimacy-disabling condition, the so called “no demos” argument (II), embedding them in the context of the notorious “democratic deficit” suspicions against the legal system and practice of the EU (I). After examining the logical structure behind the no-demos intuition considered as an argument (III), I present principled reasons by Möllers and Habermas that show why the “no demos” argument (...) fails to have bite in discussions of the legitimacy and status of the supranational level in the multi-level EU-architecture. These are complemented by another principled reason arising from John Dewey’s conception of the “public” as a clearer alternative for the “popular” requirement of democratic legitimation (IV). I conclude that all three conceptions together suggest that the hunt after pre-politically existing peoples as foundations of democratic legitimacy expresses no more than methodological nationalism without any footing in the material and conceptual requirements of democratic legitimation. Given the absence of a principled problem with the legitimacy of the priority and interference of supranational EU-law in the national legal and political orders, there are thus also no principled reasons to abandon or discredit the European project in the absence of a European nation or society. (shrink)

The philosophy of the art of living asks the age-old question of orienting one’s own life: ‘How can I live well?’ An art of living is always called for when people do not know what to do and how to go on, when the ways of life are no longer self-evident, when traditions, conventions, rules, and norms lose their plausibility and individuals begin to worry about themselves. The art of living and of its philosophy has a practical aim: It is (...) not concerned with ethical principles, but with the concrete practice of people’s everyday life, with their individual and successful lives. Friedrich Nietzsche, as he often did, pushed the problem of the art of living to the extreme, making it palpable both in its dignity and in its force. For him, the modern uncertainty of human orientation caused by nihilism pointed to art and aesthetics, which, he supposed, makes life if not justifiable, at least bearable. The arts open up a multi-perspectival seeing and hearing, they experiment with alternative forms and techniques, and create the finest sensibilities for both – Nietzsche himself, with his rich forms of philosophical writing, is an outstanding example of this. -/- The volume we present here, entails contributions of German-speaking scholars on Nietzsche and the ways of living he proposes, especially, but not alone in Dawn. The papers are selected from a book series on the common issue “Critical Art of Living,” edited by Günter Gödde, Jörg Zirfas, and others, and translated on behalf of the Foundation for Philosophical Orientation. (shrink)

This paper explores the level of obligation called for by Milton Friedman’s classic essay “The Social Responsibility of Business is to Increase Profits.” Several scholars have argued that Friedman asserts that businesses have no or minimal social duties beyond compliance with the law. This paper argues that this reading of Friedman does not give adequate weight to some claims that he makes and to their logical extensions. Throughout his article, Friedman emphasizes the values of freedom, respect for law, and duty. (...) The principle that a business professional should not infringe upon the liberty of other members of society can be used by business ethicists to ground a vigorous line of ethical analysis. Any practice, which has a negative externality that requires another party to take a significant loss without consent or compensation, can be seen as unethical. With Friedman’s framework, we can see how ethics can be seen as arising from the nature of business practice itself. Business involves an ethics in which we consider, work with, and respect strangers who are outside of traditional in-groups. (shrink)

In the first chapter of his Knowledge and Lotteries, John Hawthorne argues that thinkers do not ordinarily know lottery propositions. His arguments depend on claims about the intimate connections between knowledge and assertion, epistemic possibility, practical reasoning, and theoretical reasoning. In this paper, we cast doubt on the proposed connections. We also put forward an alternative picture of belief and reasoning. In particular, we argue that assertion is governed by a Gricean constraint that makes no reference to knowledge, and (...) that practical reasoning has more to do with rational degrees of belief than with states of knowledge. (shrink)

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

This chapter offers an interpretation of Jaspers’ distinction between explaining and understanding, which relates this distinction to that between general and singular causal claims. Put briefly, I suggest that when Jaspers talks about (mere) explanation, what he has in mind are general causal claims linking types of events. Understanding, by contrast, is concerned with singular causation in the psychological domain. Furthermore, I also suggest that Jaspers thinks that only understanding makes manifest what causation between one element of a person’s mental (...) life and another ultimately consists in – that is, the particular way in which one psychic event can emerge from or arise out of another. I contrast the resulting view both with a view on causation in psychiatry recently put forward by John Campbell, and also with another view that is the target of Campbell’s attack, which is due to Donald Davidson and Daniel Dennett. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic (...) article from his Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

Much French philosophy of the late twentieth and early twenty-first centuries has been marked by the positive valorization of alterity, an ethical position that has recently received a vigorous assault from Alain Badiou’s privilege of sameness. This article argues that Badiou shares a great deal in common with the philosophies of alterity from which he seeks to distance himself, and that Michel Serres’s little-known account of alterity offers a much more radical alternative to the ethics of difference. Drawing on both (...) translated and as yet untranslated works, I argue that the Serresian ontology of inclination, along with his conceptual personae of the hermaphrodite and the parasite, informs ethical and political positions that offer a distinctive ethics and politics that present fresh insights about the relation between the singular and the universal, the contingency of market exchange, and the nature of violence. (shrink)

Theorists of public reason such as John Rawls often idealize constitutional courts as exemplars of public reason. This paper raises questions about the seduction and limits of analogies between theorists’ account of public reason and actual constitutional jurisprudence. Examining the work product of the United States Supreme Court, the paper argues that while it does engage in reason-giving to support its decisions—as the public reason strategy suggests— those reasons are (largely) legalistic and specifically juristic reasons—not the theorists’ idealized moral-political (...) reasons on matters of fundamental principle. But if constitutional courts do not engage on matters of fundamental principle, then a public reason strategy for assuaging democratic worries about judicial review would no longer be open: prominent liberal and deliberative democratic theorists could no longer point to the alleged superiority of constitutional courts to speak in the name of, and for, the people’s shared political principles. The paper extends beyond the U.S. case study by pointing to three institutional factors explaining the disanalogy between what some constitutional courts do and what public reason theories require them to do. It concludes with considerations about whether the public reason strategy might be more successfully applied to international courts. (shrink)

Over the last eighty years, studies in play have carved out a small, but increasingly significant, niche within the social sciences and a rich repository has been built which underscores the importance of play to social, cultural, and psychological development. The general point running through these works is a philosophical recognition that play should not be separated from the trappings of everyday life, but instead should be seen as one of the more primordial aspects of human existence. Gadamer is one (...) philosopher frequently associated with interest in play. In his magnum opus, Truth and Method (1960), Gadamer insisted the significance of play to human understanding is not merely recreational, but rather it discloses the full context of any given situation by promoting a freedom of possibilities within the horizon of one’s own life-world (i.e. the world directly and immediately experienced). As such, his philosophical analysis of play was essential to his overall project of philosophical hermeneutics as it can explain how meaning is not derived from something essential within a text, but rather considered from a full range of possibilities. There are good reasons to expand on that understanding of play within philosophical studies and we suggest one way to do so is to compare Gadamer’s treatment of play with similar ideas from thinkers often associated with other philosophical schools. Although there are other candidates (e.g. Wittgenstein’s language games) for such an analysis, we limit our comparison here to the notion of transaction, as treated by the American pragmatist John Dewey in his volume Knowing and the Known (co-authored with Arthur Bentley in 1949). Because Dewey tied his conception of transaction to an overarching philosophy of inquiry, we believe comparing it to Gadamer’s use of play can highlight the deep philosophical import of this concept to the understanding of philosophical inquiry. (shrink)

It is my goal in this paper to offer a strategy for translating universal statements about utopia into particular statements. This is accomplished by drawing out their implicit, temporally embedded, points of reference. Universal statements of the kind I find troublesome are those of the form ‘Utopia is x’, where ‘x’ can be anything from ‘the receding horizon’ to ‘the nation of the virtuous’. To such statements, I want to put the questions: ‘Which utopias?’; ‘In what sense?’; and ‘When was (...) that, is that, or will that be, the case for utopias?’ Through an exploration of these lines of questioning, I arrive at three archetypes of utopian theorizing which serve to provide the answers: namely, utopian historicism, utopian presentism, and utopian futurism. The employment of these archetypes temporally grounds statements about utopia in the past, present, or future, and thus forces discussion of discrete particulars instead of abstract universals with no meaningful referents. (shrink)

This chapter discusses (in German) John Stuart Mill's position on paternalism and how it relates to his book 'The Subjection of Women'. It is argued that Mill's claim (in On Liberty) that one should not be allowed to sell oneself into slavery is making reference to the Victorian marriage contract through which women essentially become slaves of their husbands. As argued in Subjection, women do not freely develop the desire to get married, the social circumstances do not leave them (...) any other options. Necessarily unaware of what married life is like, the decision to get married is like crossing an unsafe bridge without knowing it is unsafe. It is not paternalist, as Mill argues, to alert them to the condition of the bridge and put them in the position to decide for themselves whether they want to cross it (or turn back half way, e.g. by divorcing). (shrink)

Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the (...) premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...) of its manuscripts, interpretations, commentaries, translations, and its influence on subsequent logic, philosophy, and mathematics. All this attention is warranted because Prior Analytics marks the origin of logic: the field that, among other things, asks of a given proposition whether it follows from a given set of propositions; and, if it follows, how we determine that it follows; and, if it does not follow, how we determine that it does not follow. This translation and commentary is not suitable for use in an undergraduate course. It has too many quirks that the teacher would want to warn against. A copy editor should have dealt with these things and with other matters such as incorrect punctuation and improper end-of-line divisions. The prose is heavily laden with glaring clichés. The one-page preface contains “longer than I care to remember”, “more than I can possibly list here”, “first and foremost”, and “last and by no means least”—a sentence later is devoted to thanking the “incredibly meticulous and helpful copy-editor”. A few pages later the translator reveals the need “to find a path between the Scylla … and the Charybdis …”. Moreover, the index is far from meeting the needs of undergraduate students. The attention to scholarly detail is not what one hoped for from Oxford University Press. At 26b10-15, this translation reads “let swan and white be chosen as white things” for what Smith correctly translates “let swan and snow be selected from among those white things”. At 41b16, “angles AB and CD” should read “angles AC and BD”. Despite this book’s flaws, it will be found useful if not indispensable for those currently engaged in Prior Analytics studies. The alternatives suggested to Robin Smith’s translation choices are often worth consideration. It is to be emphasized, however, that this book is unsuitable for those entering Prior Analytics studies. (shrink)

In his Bipartitum in morali philosophia, the Scottish philosopher William of Manderston, a pupil of John Mair, and an Ockhamist philosopher, is quoting a text of Antonin of Padua who distinguishes the factum opened to a juridical qualification from the inner belief, known by God alone. Quoting the same text, the authors of the Malleus maleficarum try hard to distinguish three distinct fields, the inner beliefs which belongs to God, the exterior acts, the facts, which are relevant for the (...) judges, and the third field, which establishes a relation between the fact and the beliefs. This third field is proper to the inquisitors. Against this ethics of imputability, Manderston, relying on Ockham’s ethics, advocates an intentionalist ethics which depends on a sharp separation between interiority and exteriority. The soteriological dimension of the question entirely belongs to the inner life, whereas the exteriority is strictly disciplinary. By his radicality, Manderston appears as a paradigm of the modern dichotomy between conscience and law, Paolo Prodi once pointed out as a cornerstone of the religious modernity. (shrink)

Evidence from life science, cognitive science, and philosophy supports the hypothesis that knowledge is a central norm of the human practice of assertion. However, to date, the experimental evidence supporting this hypothesis is limited to American anglophones. If the hypothesis is correct, then such findings will not be limited to one language or culture. Instead, we should find a strong connection between knowledge and assertability across human languages and cultures. To begin testing this prediction, we conducted three experiments on Koreans (...) in Korean. In each case, the findings replicated prior results observed in Americans and were corroborated by key findings from new replication studies on Americans using materials back-translated from Korean. These findings support the theory that there is a core, cross-culturally robust human practice of assertion and that, according to the rules of this practice, assertions should express knowledge. (shrink)

A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...) without rigor and objectivity. The logician’s advice to be dispassionate is in resonance and harmony with the ethicist’s advice to be compassionate. (shrink)

John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development (...) of algebra [Jacob Klein, English translation, Greek mathematical thought and the origin of algebra, especially pp. 154–157, M.I.T. Press, Cambridge, Mass., 1968]. -/- It is universally agreed that the method of analysis begins by “assuming the thing sought after” (e.g., in geometry, the truth of the proposition to be proved or the existence of the geometric figure to be constructed). Aside from this, little else can be taken for granted. There is disagreement concerning the “direction of analysis”, i.e. whether one is to seek implications of the assumption or whether one is to seek implicants of it. There is also disagreement concerning what is to be “anatomized” (analyzed), i.e., whether one analyzes mathematical objects (figures), mathematical propositions (the axioms, known theorems, and analytic assumption) or an imagined proof (of the analytic assumption from axioms and known theorems). (shrink)

Of the Contract is a version of a text that is as old as any memory, or a form of legal instrument that constitutes the basis of the world in which its terms have been translated. The text remains as open to renewal as that world remains to future alteration, and the terms are both already past, and always yet to come. The notion of the debt that is presented by the contract corresponds to a conception of accountancy and (...) finance that provide a new approach to the contemporary problem of the sense of that external to the terms of human access.A reinterpretation of the philosophical tradition that runs through Levinas and Heidegger to Kant, Of the Contract is also grounded in the medieval tradition that was centered on the notion of ¿contraction,¿ and its writing was inspired by forms of life such as those found in the development of monastic constitutions, and the novels of knight errantry. It is also an oblique contribution to the recent discussions on the nature of debt, and is deeply marked by an awareness of climate change, and the insufficiencies of capital to overcome this crisis.All of these concerns however were contracted in a more acute awareness of the process of expression, and the work is given first of all as literature. It is the nature of the terms that they are open to untold interpretations. (shrink)

ON THE PHILOSOPHICAL RESEARCH OF EDITH STEIN (translated by Inna Savynska)The main Polish philosopher Roman Ingarden in his lecture presents a cross-section of Edith Stein writings and demonstrates the shot timeliness of her ideas. Roman Ingarden was a Stein’s friend from the time of her studies in Göttingen;he knew her ideas and conceptions. He wrote that hers was a search for ananswer to the main question: «What is the structure of man?» That is why she proposed a phenomenological analysis (...) by «Empathy». Stein’s theses «On the Problem of Empathy» is the central object in this lecture. In that work, Stein first focuses on such phenomena as the human body, soul, spirit, experience, consciousness. While discussing Stein’s concepts, Ingarden presents also the evolution of her ideas from realistic phenomenology to mystical theology of Saint John of the Cross’ and Saint Theresa of Avila’s. Roman Ingarden did not enter as firmly as Stein into the mystical range, but he opened a path into the transcendence by creating an idea of metaphysical qualities. In her dissertation, Stein first focuses on the phenomenon of the human body and soul. Ingarden considers pairs of phenomenological notions «Leib- Körper», «Seele-Geist». Their relationships form an ontology of a Person. The anthropological questions, which Edith Stein raised in her academic research, bring about a constitutive element of man – Geist. Empathy is an instrument that help to recognize Geist and Personal experience – truth about man. (shrink)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

The primary sense of the word ‘hypothesis’ in modern colloquial English includes “proposition not yet settled” or “open question”. Its opposite is ‘fact’ in the sense of “proposition widely known to be true”. People are amazed that Plato [1, p. 1684] and Aristotle [Post. An. I.2 72a14–24, quoted below] used the Greek form of the word for indemonstrable first principles [sc. axioms] in general or for certain kinds of axioms. These two facts create the paradoxical situation that in many cases (...) it is impossible to translate the Greek form of the word using the English form: the primary sense of the word ‘hypothesis’ in modern colloquial English is diametrically opposed to one sense used by Plato and by his most accomplished student Given current colloquial English usage it is impossible to get the word hypothesis to carry the connotation of “settled truth” much less “axiomatic truth”. The ‘hypo-’ [under] in the Plato-Aristotle use of ‘hypothesis’ might carry the sense of “basis” or “foundational” as opposed to “less than usual or normal”. This paradox parallels the one pointed out by Robin Smith: it is impossible for the English word ‘syllogism’ to carry the meaning of its Greek form Aristotle intended. There are other cases as well: it is impossible for the English biological term ‘genus’ to carry the meaning of its Greek form the Greek genos refers to family as in our ‘genealogy’, not to “higher species” as in our ‘generic’. (shrink)

杜威与道德想象力伦理学中的实用主义, Chinese translation by Xu Peng and Ma Ru Jun Yi of John Dewey and Moral Imagination: Pragmatism in Ethics (Peking University Press, 2010), Pragmatism Study Series. Introduction and ch. 7 (The Moral Artist) included in this sample. Original English publication: Indiana University Press, 2003.

These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception through (...) the discovery of the diagonal theorems can be recognized as a particularly clear instance of the drama of reflection according to Sartre, especially in the positing and overcoming of its proper value-ideal, viz. the synthesis of consistency and completeness. Conversely, this translation solves a number of systematic problems about pure reflection’s relations to accessory reflection, phenomenological reflection, pre-reflective self-consciousness, conversion, and value. Negative foundations, the metaphysical position emerging from this translation between existential philosophy and metalogic, concurs by different paths with Badiou’s Being and Event in rejecting both ontotheological foundationalisms and constructivist antifoundationalisms. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

In metaphor research there is usually some notion of transfer of aspects of the source domain to the target domain. More rarely, transfers in the opposite direction are countenanced, affecting one’s perception of source as well as target. This paper argues that, even without this aim, transfers from target to source should happen. One radical claim here is that it is often better to translate information from literal sentences into prevailing metaphorical terms than to translate the information from metaphorical sentences (...) into literal terms. The issues have been obscured by confusion between intuitive directions of static source/target mappings, directions of individual transfer actions, and direction of main intended information flow. Relevance to an implemented AI system for metaphorical reasoning, ATT-Meta, and to Blending Theory are briefly mentioned. Asymmetry of metaphor is also addressed. (shrink)

[From SEP]: Contemporary virtue epistemology (hereafter ‘VE’) is a diverse collection of approaches to epistemology. At least two central tendencies are discernible among the approaches. First, they view epistemology as a normative discipline. Second, they view intellectual agents and communities as the primary focus of epistemic evaluation, with a focus on the intellectual virtues and vices embodied in and expressed by these agents and communities. This entry introduces many of the most important results of the contemporary VE research program. These (...) include novel attempts to resolve longstanding disputes, solve perennial problems, grapple with novel challenges, and expand epistemology’s horizons. In the process, it reveals the diversity within VE. Beyond sharing the two unifying commitments mentioned above, its practitioners diverge over the nature of intellectual virtues, which questions to ask, and which methods to use. It will be helpful to note some terminology before proceeding. First, we use ‘cognitive’, ‘epistemic’ and ‘intellectual’ synonymously. Second, we often use ‘normative’ broadly to include not only norms and rules, but also duties and values. Finally, ‘practitioners’ names contemporary virtue epistemologists. (shrink)

It may come as a surprise to readers familiar with the life and work of the Arts Master that he discusses the Eucharist at all. As he likes to remind us, theological topics are generally out of his wheelhouse. Even so, in his Questions on the “Metaphysics” of Aristotle (QM) 4.6, Buridan takes the sacrament of the Eucharist as a key data point in his discussion of Aristotle’s Categories. In the Eucharist, the accidents of the bread and wine—their color, texture, (...) and so on—remain intact, but the underlying substance is transubstantiated into the body and blood of Christ. Accordingly, God can preserve accidents independent of their underlying substance. Therefore, for our part we can use accidental terms, like whiteness, without connoting any substances, like communion bread. Moreover, it follows that, contrary to Aristotle, substance and the accidental categories are not the most general genera. Instead, being (ens) is, as Buridan concludes. Here, I trace Buridan’s thought on the metaphysical and semantic matters of substance in light of the Eucharist. The Eucharist is for him not only a theological truth, but a metaphysical and semantic datum as well. I conclude by asking why Buridan did not take any and all questions about the Eucharist to be out of his ken. What does this tell us about his attitude toward theology? This paper also includes, as an appendix, the first ever English translation of the question under discussion (QM 4.6): “Does the term being (ens) signify substances and accidents by one single concept or notion?”. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

This is an English translation of Waldenfels' German essay: Equality and inequality are basic elements of law, justice and politics. Equality integrates each of us into a common sphere by distributing rights, duties and chances among us. Equality turns into mere indifference as far as we get overintegrated into social orders. When differences are fading away experience loses its relief and individuals lose their face. Our critical reflections start from the inevitable paradox of making equal what is not equal. In (...) various ways they refer to Nietzsche’s concept of order, to Marx’s analysis of money, to Lévinas’s ethics of the Other, and to novelists like Dostoevsky and Musil. Our critique turns against two extremes, on the one hand against any sort of normalism fixed on functioning orders, on the other hand against any sort of anomalism dreaming of mere events and permanent ruptures. Responsive phenomenology shows how we are confronted with extraordinary events. Those deviate from the ordinary and transgress its borders, without leaving the normality of our everyday world behind. The process of equalizing moves between the ordinary and the extraordinary. What makes the difference and resists mere indifference are creative responses which are to be invented again and again. (shrink)

Aristotle, De Anima: Translation, Introduction, and Commentary. By Shields Christopher.

The commentary on Plato's Republic by Proclus (d. 485 CE), which takes the form of a series of essays, is the only sustained treatment of the dialogue to survive from antiquity. This three-volume edition presents the first complete English translation of Proclus' text, together with a general introduction that argues for the unity of Proclus' Commentary and orients the reader to the use which the Neoplatonists made of Plato's Republic in their educational program. Each volume is completed by a Greek (...) word index and an English-Greek glossary that will help non-specialists to track the occurrence of key terms throughout the translated text. The second volume of the edition presents Proclus' essays on the tripartite soul and the virtues, female philosopher rulers, and the metaphysics and epistemology of the central books of the Republic. The longest of the essays in Volume II interprets the nature and significance of the 'marriage number' whose miscalculation leads to the degeneration of the ideal city-state. (shrink)

In this dissertation, I explore whether teleological, normative, and functional theories of belief each have the resources to answer three central questions about the nature and normativity of belief. These questions are: (i) what are beliefs, (ii), why do we have them, and (iii) how should we interpret doxastic correctness--the principle that it is correct to believe that p if and only if p? -/- I argue that teleological and normative theories fail to adequately address these questions, and I develop (...) and defend a functional alternative. In addition, I attempt to extend my functional theory of belief to account for another, related attitude: suspended belief. (shrink)

In this book, John Searle brings concepts such as reality, truth, consciousness, and society from their abstract perch down to the world we all live in. He takes readers through the conceptual problems associate with basic metaphysics, the biology of the mind, the structure of consciousness, the paradox of intentionality, the nature of language and the structure of the social universe. Condemning the belief that our world is dependent on our perception of it, Searle stresses that there is a (...) real world, and discusses the ways in which philosophy can help us deal with it. In short, he takes questions apart, analyzes them and then places them together to present a "total philosophy". In Mind, Language and Society, Searle teaches us how to practice philosophy in the real world. Mind, language, society, consciousness, intentionality يسعى سيرل في هذا الكتاب إلى تفسير الظواهر الأساسية التي تلفت نظر الإنسان. وكانت الظاهرة الأولى المدهشة هي وجود الوعي في عالم مؤلف كلية من ذرات فيزيائية، والثانية هي قدرة العقل على توجيه ذاته نحو الأشياء وتمثيلها، وهي ظاهرة القصدية، والثالثة هي قدرة العقول أن تبدع واقعاً إجتماعياً موضوعياً، والرابعة هي وجود التواصل اللغوى الإنساني. (shrink)

Polish translation of "John Searle: From Speech Acts to Social Reality", -/- We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US (...) political affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework. (shrink)